Definice ekvivalence, definice ekvivalenční třídy
Důkaz věty o 5 barvách
Nechť R je relace na množině {1, 2, ..., n}^2, kde (a, b)R(a', b') := a <= b & a' <= b'. Je to uspořádání? Jak vypadá nejdelší řetězec a antiřetězec?
Graf G je definovaný takto: V(G) := {0, 1}^n. {x, y} je hrana právě tehdy, když se x a y liší právě na dvou pozicích. Jaká je mohutnost V(G)? Jaký je stupeň libovolného z vrcholů? Je graf souvislý? Je graf eulerovský?